军用嵌入式操作系统安全性增强措施

操作系统是紧靠硬件的基础软件,它既是应用软件安全的坚实基础,又是硬件不安全因素的屏蔽器.在操作系统安全隐患和嵌入式操作系统技术特点的基础上,提出信息保护、空间域保护和时间域保护等增强操作系统安全性的几种方法,以提高嵌入式系统抗击系统本身缺陷或敌方恶意攻击等安全威胁的能力.上述几种安全保护技术已在嵌入式Linux中进行验证,并取得满意的结果.     

采用随机几何工具的终端直通通信接入控制方法

针对现有具备终端直通（Device-to-Device, D2D）功能的蜂窝网络的干扰管理问题，提出一种新型的采用随机几何工具的D2D通信接入控制方法。利用随机过程理论以及随机几何工具建立模型分析邻近基站和D2D通信对蜂窝通信的影响，并推导蜂窝业务接入失败概率表达式。基于该表达式能够计算网络允许的最大D2D用户密度，辅助D2D通信接入控制实现干扰管理。仿真证明基于所提数值计算方法获得的估计结果与蒙特卡洛仿真结果相符，且通过合理限制D2D用户密度和D2D用户发射功率可满足指定的蜂窝业务接入失败概率要求。     

梯度学习的参数控制帮助线程预取模型

对于非规则访存的应用程序,当某个应用程序的访存开销大于计算开销时,传统帮助线程的访存开销会高于主线程的计算开销,从而导致帮助线程落后于主线程。于是提出一种改进的基于参数控制的帮助线程预取模型,该模型采用梯度下降算法对控制参数求解最优值,从而有效地控制帮助线程与主线程的访存任务量,使帮助线程领先于主线程。实验结果表明,基于参数选择的线程预取模型能获得1.1~1.5倍的系统性能加速比。     

众核处理器访存链路接口的FPGA验证

面向众核处理器提出一种访存链路接口的现场可编程门阵列(Field-Programmable Gate Array,FPGA)验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出片上读写激励自动产生与检查机制、以太网接口硬件用户数据报协议(User Datagram Protocol,UDP)协议栈和FPGA芯片间多通道并行链路三项关键技术并进行设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数据检错和多lane间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口在实际芯片中通过了功能正确性测试,证明了验证的有效性。     

重塑非饱和含粘砂土变形强度特性的三轴试验

利用多功能土工三轴仪探讨了非饱和含粘砂土的变形和强度特性，共进行3种应力路径的三轴试验：控制吸力的各向同性压缩试验、控制净平均应力的三轴收缩试验、控制吸力和净围压为常数的三轴排水剪切试验。研究结果表明：该土的屈服净平均应力和偏应力都随吸力增大；在净平均应力不变的条件下，该土的屈服吸力是一常数但不等于土样在历史上曾受过的最大吸力；随着净围压增大，其应力-应变曲线由软化向硬化型转变；在高吸力高围压下，呈现脆性破坏。控制吸力和净围压为常数的三轴排水剪切试验在p—q平面内的强度包络线为直线；在试验研究的吸力范围（50～200kPa）内，该土的粘聚力随吸力线性增加；内摩擦角随吸力的变化很小，可以认为是一常数；该土具有显著的剪胀特性，剪胀性不仅取决于千密度与围压，而且还与吸力密切相关。     

管道金属磁记忆检测技术现状分析及发展研究

针对管道无损检测问题，阐述了金属磁记忆效应的基本原理，与传统无损检测方式比较，归纳了磁记忆检测的基本特性。在磁记忆检测仪器研发现状的基础上，设计了新型管道磁记忆／漏磁综合检测仪。从检测机理、信号处理和缺陷识别3个方面对检测技术研究现状进行分析和总结。探讨了检测机理的局限性，提出管道磁记忆检测技术的研究新方向。     

流编程模型下的存储一致性模型

在流编程模型下建立了一个新的存储一致性模型--流一致性模型,它比传统的释放一致性模型更加松弛.讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂.     

机载反辐射导弹和常规反舰导弹协同规划算法

机载反辐射导弹在攻击移动目标时容易受雷达关机影响而丢失目标,和常规主动雷达制导的反舰导弹协同攻击可以有效对抗目标雷达关机。为了达到协同作战目的,载机起飞前已知目标信息情况下,通过计划协同算法确定协同作战方案,方案包括载机和导弹各个航路点位置和到达该位置的时间点,然后按照在机场起飞前就制定好的方案实施具体作战行动。对计划协同算法进行了实例仿真,结果表明算法切实有效。     

调运问题中基于栅格模型的快速路径规划方法

针对调运路径规划这一问题,采用栅格模型表示环境地图,通过设定路径搜索方向权重,剔除不必要的搜索区域,提高了搜索效率.仿真结果表明,该算法能有效地提高路径搜索效率,并能搜索到最优路径.     

基于Dubins路径的智能车辆路径规划算法

路径规划是车辆智能化的核心问题之一,而所有路径均可分解为简单的Dubins路径。在Dubins路径的思想下对智能车辆的行驶路径进行分段研究,并利用经典PID控制对该算法的执行性能进行检验。研究表明:算法能计算出车辆行驶的最短路径,减少了车辆行驶的路径长度,缩短了行驶时间,减少了控制系统的计算量,提高了车辆执行系统的执行力度,降低了执行误差,对最优路径具有较好的选择性。